鉄道システムへの誘い 第1回 フェイルセーフの仕組み リレー，マイコン，形式的仕様記述(その1)